<html>
<body>
<p>Uses infix type syntax for a binary type application.</p>
</body>
</html>